c59d7808915ed2fe7a73fda503c32a139a3b3eb9,platform/platform-api/src/com/intellij/ui/IdeBorderFactory.java,IdeBorderFactory,createTitledBorder,#String#boolean#boolean#,60

Before Change


  }

  public static IdeaTitledBorder createTitledBorder(String title, boolean hasBoldFont, boolean hasIndent) {
    Font font = hasBoldFont ? UIUtil.getBorderFont().deriveFont(Font.BOLD) : UIUtil.getBorderFont();
    int indent = hasIndent ? (hasBoldFont ? 18 : 15) : 0;
    Insets insets = hasBoldFont ? new Insets(5,0,10,0) : new Insets(3,0,6,0);
    return new IdeaTitledBorder(title, font, UIUtil.getBorderColor(), indent, 1, insets);

After Change


  public static IdeaTitledBorder createTitledBorder(String title, boolean hasBoldFont, boolean hasIndent) {
    Font font = UIUtil.getBorderFont();
    if (hasBoldFont) {
      font = font.deriveFont(Font.BOLD);
    }
    int indent = hasIndent ? (hasBoldFont ? 18 : 15) : 0;
    Insets insets = hasBoldFont ? new Insets(5,0,10,0) : new Insets(3,0,6,0);